Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Joost-Pieter Katoen, Aachen, spent two weeks with MEXICO.
Internships
Aalok Thakkar, 2nd year student from CMI (India), did a two-month research internship on 'Semantics of Mutation Dynamics' under the supervision of Stefan Haar, from May 2nd to July 21st, 2017.